-
1 синтаксический блок
Русско-английский большой базовый словарь > синтаксический блок
-
2 проверочный блок
проверка по блокам; контроль блоков — block check
Русско-английский большой базовый словарь > проверочный блок
-
3 блок синтаксического контроля
syntactic checker, syntax checkerРусско-английский словарь по вычислительной технике и программированию > блок синтаксического контроля
-
4 программа синтаксического контроля
syntactic checker, syntax checkerРусско-английский словарь по вычислительной технике и программированию > программа синтаксического контроля
-
5 синтаксический
Русско-английский словарь по информационным технологиям > синтаксический
-
6 контролирующая программа
1. check routineпрограмма контроля; контролирующая программа — check routine
программа проверки опечаток, «корректор» — spelling checker
2. checking routine3. checkerРусско-английский большой базовый словарь > контролирующая программа
-
7 кнопка контрольного рестарта программы
Русско-английский большой базовый словарь > кнопка контрольного рестарта программы
-
8 динамическая проверка программы
Русско-английский большой базовый словарь > динамическая проверка программы
-
9 блок синтаксического контроля
1) Engineering: syntax checker2) Information technology: syntactic checkerУниверсальный русско-английский словарь > блок синтаксического контроля
-
10 программа синтаксического контроля
1) Engineering: syntax checker2) Information technology: syntactic checkerУниверсальный русско-английский словарь > программа синтаксического контроля
-
11 блок синтаксического контроля
Русско-английский большой базовый словарь > блок синтаксического контроля
-
12 программа синтаксического контроля
Русско-английский большой базовый словарь > программа синтаксического контроля
См. также в других словарях:
Metamath — Developer(s) Norman Megill Written in C Operating system … Wikipedia
Communicating sequential processes — In computer science, Communicating Sequential Processes (CSP) is a formal language for describing patterns of interaction in concurrent systems.[1] It is a member of the family of mathematical theories of concurrency known as process algebras, or … Wikipedia
Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… … Wikipedia
Basque language — Basque Euskara Spoken in Spain … Wikipedia
diff — This article is about the file comparison utility. For other uses, see DIFF (disambiguation). Diffs redirects here. For the American punk rock group, see The Diffs. In computing, diff is a file comparison utility that outputs the differences… … Wikipedia
Artificial intelligence — AI redirects here. For other uses, see Ai. For other uses, see Artificial intelligence (disambiguation). TOPIO, a humanoid robot, played table tennis at Tokyo International Robot Exhibition (IREX) 2009.[1] Artificial intelligence ( … Wikipedia
Fixed-point combinator — Y combinator redirects here. For the technology venture capital firm, see Y Combinator (company). In computer science, a fixed point combinator (or fixpoint combinator[1] ) is a higher order function that computes a fixed point of other functions … Wikipedia
Google search — Infobox Website name = Google caption = The Google homepage (using the Safari web browser.) url = [http://www.google.com/ www.google.com] list of domain names commercial = yes type = Search Engine language = multilingual ( 100) registration =… … Wikipedia
Latin — Infobox Language name=Latin nativename= la. Lingua Latina pronunciation=/laˈtiːna/ states=Vatican City speakers= Native: none Second Language Fluent: estimated at 5,000Fact|date=April 2007 Second Language Literate: estimated 25,000Fact|date=April … Wikipedia
Object-oriented programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing … Wikipedia